Matthias Baaz: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (20)
Most Popular
List
- List
- Table

1

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Cambridge University Press

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper

Year:

2011

Language:

english

File:

PDF, 3.80 MB

5.0 / 5.0

english, 2011

2

Kurt Goedel and the Foundations of Mathematics Horizons of Truth

Kurt Goedel and the Foundations of Mathematics Horizons of Truth

Cambridge University Press

Baaz, Matthias, Harper, Jr Charles L., Papadimitriou, Christos H., Putnam, Hilary W., Scott, Dana S

Year:

2014

Language:

english

File:

PDF, 3.80 MB

5.0 / 0

english, 2014

3

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)

Year:

2003

Language:

english

File:

PDF, 6.16 MB

0 / 0

english, 2003

4

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)

Year:

2002

Language:

english

File:

PDF, 4.40 MB

0 / 0

english, 2002

5

Logic Colloquium ’01: Lecture Notes In Logic, 20

Logic Colloquium ’01: Lecture Notes In Logic, 20

A K Peters/CRC Press

Matthias Baaz, Sy-David Friedman, Jan Krajícek

Year:

2005

Language:

english

File:

PDF, 174.16 MB

0 / 0

english, 2005

6

Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Baaz, Matthias, Friedman, Sy D., Krajíček, Jan (eds.)

Year:

2005

Language:

english

File:

DJVU, 3.74 MB

0 / 0

english, 2005

7

Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

A K Peters/CRC Press;A.K.Peters

Matthias Baaz, Sy-David Friedman, Jan Krajícek (eds.)

Year:

2005

Language:

english

File:

DJVU, 3.74 MB

0 / 0

english, 2005

8

$Kurt G\u00f6del and the Foundations of Mathematics: Horizons of Truth$

Kurt G\u00f6del and the Foundations of Mathematics: Horizons of Truth

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper

Language:

english

File:

PDF, 3.80 MB

5.0 / 0

english

9

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (eds.)

Year:

2005

Language:

english

File:

PDF, 4.55 MB

0 / 0

english, 2005

10

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)

Year:

2002

Language:

english

File:

PDF, 2.24 MB

0 / 0

english, 2002

11

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)

Year:

2003

Language:

english

File:

PDF, 4.13 MB

0 / 0

english, 2003

12

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)

Year:

1996

Language:

english

File:

PDF, 11.88 MB

0 / 0

english, 1996

13

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)

Year:

1996

Language:

english

File:

DJVU, 4.15 MB

0 / 0

english, 1996

14

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

Year:

2008

Language:

spanish

File:

AZW3 , 2.03 MB

0 / 0

spanish, 2008

15

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

Year:

2008

Language:

spanish

File:

EPUB, 684 KB

0 / 0

spanish, 2008

16

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

Year:

2008

Language:

spanish

File:

MOBI , 1.17 MB

0 / 0

spanish, 2008

17

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

Year:

2008

Language:

spanish

File:

PDF, 5.62 MB

0 / 0

spanish, 2008

18

Methods of Cut-elimination

Methods of Cut-elimination

Alexander Leitsch, Matthias Baaz

Year:

2011

Language:

english

File:

PDF, 1.35 MB

0 / 0

english, 2011

19

Lectures on Soft Computing and Fuzzy Logic

Lectures on Soft Computing and Fuzzy Logic

Physica-Verlag Heidelberg

Matthias Baaz, Agata Ciabattoni (auth.), Prof. Antonio Di Nola, Prof. Giangiacomo Gerla (eds.)

Year:

2001

Language:

english

File:

PDF, 12.58 MB

0 / 0

english, 2001

20

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.)

Year:

2002

Language:

english

File:

PDF, 4.79 MB

0 / 0

english, 2002